Default Reasoning and Belief Revision : A Syntax - Independent Approa h
نویسندگان
چکیده
منابع مشابه
Belief Revision and Default Reasoning: Syntax-Based Approaches
Belief revision leads to temporal nonmono-tonicity, i.e., the set of beliefs does not grow monotonically with time. Default reasoning leads to logical nonmonotonicity, i.e., the set of consequences does not grow monotonically with the set of premises. The connection between these forms of nonmonotonicity will be studied in this paper focusing on syntax-based approaches. It is shown that a gener...
متن کاملNon Monotonic Reasoning and Belief
The major approaches to belief revision and non monotonic reasoning proposed in the literature diier along a number of dimensions, including whether they are \syntax-based" or \semantic-based", \foundational" or \coherentist", \consistence{restoring" or \inconsistency{tolerant". Our contribution towards clarifying the connections between these various approaches is threefold: We show that the t...
متن کاملDefault Reasoning and Belief
As an important variant of Reiter's default logic, Poole (1988) developed a nonmonotonic reasoning framework in the classical rst-order language. Brewka and Nebel extended Poole's approach in order to enable a representation of priorities between defaults. In this paper we present a general framework for default reasoning, which can be viewed as a common generalization of the three approaches a...
متن کاملPseudo Extension and Belief Revision in Default Reasoning
This paper is concerned with the extension and the belief revision in Reiter's default reasoning. First we introduce a new notion of pseudo exten sion which is successively constructed from a given default theory. We show that the set of pseudo extensions contains the set of extensions, so that we can get some reasonable candidates of extension in a constructive way. This should be a first step...
متن کاملExplanations, belief revision and defeasible reasoning
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operato...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007